algorithm S - S3:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                  213884516     220939804     220967119     213914442     869705881
correct_count:                 104253821     109630695     109658010     104256432     427798958
incorrect_count:               109630695     111309109     111309109     109658010     441906923
taken_count:                   109630695     111309109     109658010     104256432     434854246
not_taken_count:               104253821     109630695     111309109     109658010     434851635
current state:                         T

algorithm S - S5:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                   10487126            66      10485718     413878725     434851635
correct_count:                  10487093            33      10485685     403393041     424365852
incorrect_count:                      33            33            33      10485684      10485783
taken_count:                          33            33      10485685     403393041     413878792
not_taken_count:                10487093            33            33      10485684      20972843
current state:               T saturated

algorithm S - S8:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                   10484399            39      10485788     413884020     434854246
correct_count:                  10484378            21      10485770     403398250     424368419
incorrect_count:                      21            18            18      10485770      10485827
taken_count:                          21            18      10485770     403398250     413884059
not_taken_count:                10484378            21            18      10485770      20970187
current state:                         T

